Pinned Repositories
MichaelKerekes's Repositories
MichaelKerekes/DependentTalk
Dependently typed programming in Mana
MichaelKerekes/ghc-ffi
GHC-FFI sample code
MichaelKerekes/manaVSCE
Mana Language VSCode Extention
MichaelKerekes/odds
MichaelKerekes/PFPL
code samples to go along with the "Practical Foundations for Programming Languages" book
MichaelKerekes/Samples
Code Samples