Skip to content

Activity

Showing most recent first

finish documentation

gscharepushed 1 commit to main • 0d12b14…7d8f44f • 
on May 12, 2023

update type system figs

ravenrothkopfpushed 1 commit to main • 8d76e64…0d12b14 • 
on May 12, 2023

Merge branch 'main' of https://github.com/ravenrothkopf/slyce

ravenrothkopfpushed 3 commits to main • d9a091c…8d76e64 • 
on May 12, 2023

add more detail in approach

gscharepushed 1 commit to main • d98dfe2…d9a091c • 
on May 12, 2023

typo

gscharepushed 1 commit to main • f76e915…d98dfe2 • 
on May 12, 2023

elaborate examples

gscharepushed 1 commit to main • 89aa0d8…f76e915 • 
on May 12, 2023

fix some details in installation

gscharepushed 1 commit to main • 4238384…89aa0d8 • 
on May 12, 2023

add hello world example explanation

ravenrothkopfpushed 1 commit to main • 43bf142…4238384 • 
on May 11, 2023

add to the type system

ravenrothkopfpushed 1 commit to main • 544190b…43bf142 • 
on May 11, 2023

elaborate

ravenrothkopfpushed 1 commit to main • 21368be…544190b • 
on May 11, 2023

example programs

ravenrothkopfpushed 1 commit to main • 4110e2f…21368be • 
on May 11, 2023

installation

ravenrothkopfpushed 1 commit to main • c32b8c1…4110e2f • 
on May 11, 2023

add approach

ravenrothkopfpushed 1 commit to main • 1ad7e35…c32b8c1 • 
on May 11, 2023

overview

ravenrothkopfpushed 1 commit to main • c50d727…1ad7e35 • 
on May 11, 2023

restructure

ravenrothkopfpushed 1 commit to main • 07f5fca…c50d727 • 
on May 11, 2023

delete coc.hs

gscharepushed 1 commit to main • cb89d88…07f5fca • 
on May 11, 2023

Deleted branch

gscharedeleted pi-forall • 
on May 11, 2023

Merge pull request #2 from ravenrothkopf/pi-forall

Pull request merge
gscharepushed 47 commits to main • 8cf2882…cb89d88 • 
on May 11, 2023

add min of two numbers

gscharepushed 1 commit to pi-forall • a7456d6…bf77892 • 
on May 11, 2023

pretty things up a bit

gscharepushed 4 commits to pi-forall • 3e7760d…a7456d6 • 
on May 11, 2023

chapter 9 datatypes

gscharepushed 1 commit to pi-forall • 620ecc0…3e7760d • 
on May 11, 2023

begin to add pattern matching to parser

ravenrothkopfpushed 1 commit to pi-forall • 7fbcc59…620ecc0 • 
on May 10, 2023

revise algorithm for type checking module to go decl by decl

gscharepushed 2 commits to pi-forall • 5ae6afa…7fbcc59 • 
on May 10, 2023

fix parser for juxtaposition and add examples

gscharepushed 1 commit to pi-forall • 40b6af2…5ae6afa • 
on May 10, 2023

add symmetry example

gscharepushed 1 commit to pi-forall • a8403e1…40b6af2 • 
on May 10, 2023

pretty print errors

gscharepushed 1 commit to pi-forall • fdf7756…a8403e1 • 
on May 10, 2023

add some examples

gscharepushed 1 commit to pi-forall • a4175cc…fdf7756 • 
on May 10, 2023

added propositional equality and fixed binding/naming bug

gscharepushed 1 commit to pi-forall • 360b540…a4175cc • 
on May 10, 2023

add ann type check

ravenrothkopfpushed 2 commits to pi-forall • 01c9b5b…360b540 • 
on May 9, 2023

reorg and add type checking rules

ravenrothkopfpushed 4 commits to main • 3d99df7…8cf2882 • 
on May 9, 2023