heyunen

Shanghai

Pinned Repositories

Abstract-Interpretation
Abstract Interpretation
Language:Racket1 1 01
c311-get-started
An opinionated guide for setting up Racket and Emacs on a Mac
Language:Emacs Lisp00
copycat
Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
Language:Python0 0 00
miniKanren
Language:Racket0 1 00
Semantics
Language:Racket2 1 02
systematic-abstraction
Language:Haskell11
Type-Inference
Type Inference and Type Habitation
Language:Scheme1 1 01
RobitaChat
a chatroom for Robita
Language:CSS1 3 01

heyunen's Repositories

heyunen/Semantics
Language:Racket2 1 02
heyunen/Abstract-Interpretation
Abstract Interpretation
Language:Racket1 1 01
heyunen/systematic-abstraction
Language:Haskell11
heyunen/Type-Inference
Type Inference and Type Habitation
Language:Scheme1 1 01
heyunen/c311-get-started
An opinionated guide for setting up Racket and Emacs on a Mac
Language:Emacs Lisp00
heyunen/copycat
Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
Language:Python0 0 00
heyunen/miniKanren
Language:Racket0 1 00