User Activity

  • Committed [04ce7a]

    Added some functions to 'Seq'

  • Committed [3d4a38]

    Fix: Evaluation of as-expressions

  • Committed [c3c369]

    Implemented precondition check in inspect cases

  • Committed [6d32e4]

    Added '<=' and '-' to module 'natural'

  • Committed [2cabfb]

    Fix: Avoid duplicate formal argument names duri...

  • Committed [755c79]

    Added function to Seq

  • Committed [f8d59b]

    Version string now "v0.2+"

  • Committed [29d1e2]

    Fix: 'removed_untyped' before completion

View All

Personal Data

Username:
helmut_brandl
Joined:
2003-03-26 16:04:26

Projects

  • Project Logo Eiffel   Last Updated:
  • Project Logo Modern Eiffel The language Modern Eiffel Last Updated:
  • Project Logo alb Implementation of the Albatross programming language Last Updated:
  • Project Logo alba-lang A compiler/verifier for the albatross language Last Updated:
  • Project Logo albatross The Albatross Programming Language Last Updated:

Skills

  • No skills entered.

Personal Tools