rosalogia

import Test.QuickCheck

-- unfortunately, function names cannot start with uppercase letters
r :: Positive Integer -> Positive Integer -> Bool
r a b =
    let (x, y) = (getPositive a, getPositive b) in
    y `mod` (x * x) == 0

implies p q = not p || q

rosalogia

(* Make sure you have taglib installed. Find complete
 documentation at https://github.com/savonet/ocaml-taglib/blob/master/src/taglib.mli *)

(* We write a small program that either displays or modifies a given
   tag for a given audio file.

   Usage example:
        ./main.exe get artist my_song.mp3
            or
        ./main.exe set artist BikaBika my_song.mp3 *)

rosalogia

type token_id = nat
type amount = nat
type balance_key = {
  owner : address;
  token_id : token_id
}
type balance_map = (balance_key, amount) map
type storage = balance_map

type parameter =

rosalogia

#define _GNU_SOURCE
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <unistd.h>
#include <sys/socket.h>
#include <sys/types.h>
#include <netinet/in.h>
#include <arpa/inet.h>
#include <netdb.h>