Giters

overlogged / sky-machine

An untyped lambda calculus machine designed in FPGA.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

An untyped lambda calculus machine designed in FPGA.

Languages

Language:Verilog 98.5%Language:Haskell 1.5%