../code/conceptPage.scroll

id goose
name goose
appeared 2018
tags pl
website https://zlodo.cc/goose
description Goose is a programming language in development that aims at being (yet another) c++ alternative.

reference https://www.reddit.com/r/ProgrammingLanguages/comments/ex7hpp/february_2020_monthly_what_are_you_working_on/fgdshb4/

example
 uint(32) lomarf( uint(32) a, uint(32) b )
     requires [ a>b ]
     ensures [ @result>0 ]
 {
     return a - b
 }