3 Commits

Author	SHA1	Message	Date
Steve Dunham	a4d851b563	implicits working, but _slow_	2024-07-09 22:53:21 -07:00
Steve Dunham	46ddbc1f91	Preliminary work on data and holes	2024-07-06 14:45:26 -04:00
Steve Dunham	a9c72d5a6d	drop HOAS, add Monad stack. ... HOAS was dropped while fixing unrelated bug, but I think I'll keep it out.	2024-04-11 21:09:42 -07:00