Jonathan Queiroz jqueiroz

## eberban-algebra.rs
pub mod experimental {
    /// Types of abstractions (ba, be, ...)
    #[derive(Clone, Copy)]
    pub enum AbstractionType {
        Generic, // ba
        Event, // be
        // ...
    }

    /// The list of values filling a particular predicate place

## keybase.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                jqueiroz
                / keybase.md
            
            
              Last active
              March 8, 2017 02:00
            
          
        
      
        
  
      
    Keybase proof

I hereby claim:

I am jqueiroz on github.
I am johnjq (https://keybase.io/johnjq) on keybase.
I have a public key ASAGEbZjr6hZF1qa14hP1J7zjAE27TXVJq1BSq2r_xMPQgo

To claim this, I am signing this object:
	pub mod experimental {
	/// Types of abstractions (ba, be, ...)
	#[derive(Clone, Copy)]
	pub enum AbstractionType {
	Generic, // ba
	Event, // be
	// ...
	}

	/// The list of values filling a particular predicate place