Issues

• Fix issues with build process

  Bug

  standardocaml/stelf#44 · Filter by author wizard7377 opened on Sep 9, 2026

• Macro System Syntax

  standardocaml/stelf#43 · Filter by author wizard7377 opened on Sep 7, 2026

• STELF reconstructs terms that abstract the context, even when only used in context

  standardocaml/stelf#42 · Filter by author wizard7377 opened on Aug 19, 2026

• stelf setup should be more configarable

  standardocaml/stelf#41 · Filter by author wizard7377 opened on Aug 18, 2026

• stelf setup NAME PATH should use PATH exactly

  bugproblem
  Bug

  standardocaml/stelf#40 · Filter by author wizard7377 opened on Aug 18, 2026

• Uppercase variables flag

  standardocaml/stelf#38 · Filter by author wizard7377 opened on Jul 27, 2026

• More aliases for creating terms

  standardocaml/stelf#36 · Filter by author wizard7377 opened on Jul 13, 2026

• Nicer error messages

  standardocaml/stelf#33 · Filter by author wizard7377 opened on Jun 21, 2026

• Locations in error messages

  standardocaml/stelf#32 · Filter by author wizard7377 opened on Jun 21, 2026
  

• Legacy Syntax

  enhancementhelp wanted
  Feature

  standardocaml/stelf#31 · Filter by author wizard7377 opened on Jun 9, 2026

• Create editor plugins

  enhancementhelp wanted
  Feature

  standardocaml/stelf#28 · Filter by author wizard7377 opened on Jun 1, 2026

• C FFI?

  deferenhancement
  Feature

  standardocaml/stelf#26 · Filter by author wizard7377 opened on Jun 1, 2026

• Make outputs visible

  enhancement
  Feature

  standardocaml/stelf#24 · Filter by author wizard7377 opened on Jun 1, 2026

• Create porting guide

  documentation
  Feature

  standardocaml/stelf#19 · Filter by author wizard7377 opened on Jun 1, 2026

• Port repository documentation to odoc style syntax and ensure full coverage

  documentation
  standardocaml/stelf#2 · Filter by author wizard7377 opened on Mar 16, 2026