Search results

STE needs better / safer monad fail instance

Status: Open.

#18 In hopper-lang/hopper-v0;

· cartazio opened on May 1, 2016

move the GMP cost model code into its own library

Status: Open.

#15 In hopper-lang/hopper-v0;

· cartazio opened on Apr 21, 2016

closed but no-orphans but sane semi open-eque Hopper error datamodel

Status: Open.

#13 In hopper-lang/hopper-v0;

· cartazio opened on Apr 18, 2016

demo iteration of normalizer etc using HOAS

Status: Open.

#12 In hopper-lang/hopper-v0;

· cartazio opened on Apr 18, 2016

think about how how unboxed tuples interact with rest of planned type/kind/sort system and function types

Status: Open.

#3 In hopper-lang/hopper-v0;

· cartazio opened on Mar 20, 2016

alpha release task list

Status: Open.

#2 In hopper-lang/hopper-v0;

· cartazio opened on Mar 13, 2016

 ·  

alpha